home *** CD-ROM | disk | FTP | other *** search
/ Cream of the Crop 12 / Cream of the Crop 12 (Part II) / Cream of the Crop 12 (Part II).iso / OS2 / XCO212P.ZIP / ISODEF / terminat.def < prev    next >
Encoding:
Modula Definition  |  1994-12-22  |  392 b   |  13 lines
  1. DEFINITION MODULE TERMINATION;
  2.  
  3. (* Provides facilities for enquiries concerning the occurrence of termination events. *)
  4.  
  5. PROCEDURE IsTerminating (): BOOLEAN ;
  6.   (* Returns true if any coroutine has started  program termination and false otherwise. *)
  7.  
  8. PROCEDURE HasHalted (): BOOLEAN ;
  9.   (* Returns true if a call to HALT has been made and false otherwise. *)
  10.  
  11. END TERMINATION.
  12.  
  13.